/*****************************************
**  Nom :								**
**	Nom du fichier :					**
**	Description :						**
**										**
**										**
**	Date:							    **
**  Statut:(Release,In Work,Open,Closed)**
*****************************************/

/*****************************************
**  Zone de déclaration des includes    **
*****************************************/

/*****************************************
**  Zone de déclaration des constantes  **
*****************************************/

/*****************************************
**  Zone de déclaration des structures  **
*****************************************/

/************************************************
**  Zone de déclaration des Prototypes PUBLIC  **
*************************************************/

/*************************************************************************
**  [Fonction ChainArr_VerifBut]                      					**
**  Moteur principal du chainage arriere						        **
**																		**
**	Entrees : Char* Tableau contenant le BUT                            **
**			: ST_RES* Tete de la chaine de resultats					**
**			: ST_FAITS* Tete de la chaine de faits						**
**																		**
**	Sorties : int														**
**				0 Le But n'est pas demontre                             **
**				1 Le But est valide                                 	**
**				-2 Erreur de chaine										**
**************************************************************************/
int ChainArr_VerifBut (char* But,ST_RES* res_tete,ST_FAITS* fait_tete);


/************************************************
**  Zone de déclaration des Prototypes PRIVEE  **
*************************************************/

/*************************************************************************
**  [Fonction ChainArr_RecupBut]                     					**
**  Récupere le but a demontrer depuis l'interface utilisateur          **
**																		**
**	Entrees : Char* Tableau contenant le BUT                            **
**			: ST_RES* Tete de la chaine de resultats					**
**																		**
**	Sorties : int														**
**				0 But correctement recupere                             **
**				-1 Erreur de memoire                                    **
**************************************************************************/
int ChainArr_RecupBut (char* But,ST_RES* res_tete);
/*************************************************************************
**  [ChainArr_VerifFait]    		                  					**
**  Verifie si le Bur est dans les faits						        **
**																		**
**	Entrees : Char* Tableau contenant le BUT                            **
**			: ST_FAITS* Tete de la chaine de faits						**
**																		**
**	Sorties : int														**
**				0 Le But est un fait		                            **
**				1 Le But n'est pas un fait                            	**
**				-2 Erreur de chaine										**
**************************************************************************/
int ChainArr_VerifFait (char* But,ST_FAITS* fait_tete);

/*************************************************************************
**  [ChainArr_Simulation]    		                  					**
**  Simule un chainage arrière									        **
**																		**
**	Entrees : ST_RES* Tete_Res                                          **
**			: ST_FAITS* Tete de la chaine de faits						**
**																		**
**	Sorties : int														**
**				0 Le But est un fait		                            **
**				1 Le But n'est pas un fait                            	**
**				-2 Erreur de chaine										**
**************************************************************************/

int ChainArr_Simulation();
